Formal learning - PDFSEARCH.IO - Document Search Engine

Formal learning
Results: 810

#	Item
111	Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103 Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:45 Academia Linguistics Cognition Formal languages Compiler construction Cognitive science Grammar Parsing Natural language processing Context-free grammar Computational linguistics Semantics
112	THE FIELDS INSTITUTE THEMATIC PROGRAM ON STATISTICAL INFERENCE, LEARNING, AND MODELS FOR JANUARY - JUNE, 2015 Add to Reading List Source URL: iuni.iu.edu Language: English - Date: 2015-02-18 16:06:16 Yoshua Bengio Computational neuroscience Formal sciences Artificial intelligence Ruslan Salakhutdinov
113	LFI - Blended Learning Overview A formal education program in which a student Add to Reading List Source URL: www.sjweb.info Language: English - Date: 2013-10-11 09:55:05
114	Recognizing Actions from Still Images Nazli Ikizler, R. Gokberk Cinbis, Selen Pehlivan and Pinar Duygulu Bilkent University, Dept of Computer Engineering, 06800, Ankara, Turkey {inazli, cinbis, pselen, duygulu}@bilkent.e Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2009-01-22 10:36:20 Formal sciences Artificial intelligence Science and technology Vision Image processing Computational neuroscience Machine learning Feature detection Histogram of oriented gradients Outline of object recognition Conference on Computer Vision and Pattern Recognition Computer vision
115	Alex Beutel 5000 Forbes Avenue Carnegie Mellon University Pittsburgh, PA Education Add to Reading List Source URL: alexbeutel.com Language: English - Date: 2016-02-12 16:03:02 Data mining Christos Faloutsos Formal sciences SIGKDD Machine learning
116	MLBlocks Towards building machine learning blocks and predictive modeling for MOOC learner data Kalyan Veeramachaneni Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-01-07 23:06:47 Business intelligence Learning Formal sciences Cybernetics Machine learning Lurker Analytics
117	Deep Feature Synthesis: Towards Automating Data Science Endeavors James Max Kanter Kalyan Veeramachaneni Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-10-15 14:47:29 Machine learning Formal sciences Learning Artificial intelligence Statistics K-means clustering Pattern recognition Deep feature synthesis Deep learning Data mining Support vector machine Artificial neural network
118	Partners Austria Finland France Germany Add to Reading List Source URL: www.vismaster.eu Language: English - Date: 2013-03-19 13:10:47 Computer graphics Computational science Infographics Visualization Formal sciences Visual analytics Analytics VRVis Data mining Information visualization Learning analytics Prescriptive analytics
119	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
120	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof